package std::io;

public interface Output{
	write(buffer->const char[], size->int)->int;
}